Buy Used and New Giorgio Levi Books

Static Analysis: 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings: 1503 (Lecture Notes in Computer Science)

by Giorgio Levi

ISBN 13: 9783540650140

Format: Paperback (404 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings: ... 2937 (Lecture Notes in Computer Science)

by Bernhard Steffen,Giorgio Levi

ISBN 13: 9783540208037

Format: Paperback (342 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later

TAPSOFT '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987: Volume ... on: 250 (Lecture Notes in Computer Science)

by Hartmut Ehrig,Ugo Montanari,Robert A. Kowalski,Giorgio Levi

ISBN 13: 9783540176114

Format: Paperback (356 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Algebraic and Logic Programming: 4th International Conference, ALP'94 Madrid, Spain, September 14-16, 1994 Proceedings (Lecture Notes in Computer Science)

by Giorgio Levi,Mario Rodríguez-Artalejo

ISBN 13: 9783540584315

Format: Paperback (324 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later

Foundations of Logic and Functional Programming: Workshop, Trento, Italy, December 15-19, 1986. Proceedings: 306 (Lecture Notes in Computer Science)

by Luigia Carlucci Aiello, Mauro Boscarol, Giorgio Levi

ISBN 13: 9783540191292

Format: Paperback (232 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

TAPSOFT '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987: Volume 1: ... in: 249 (Lecture Notes in Computer Science)

by Ugo Montanari, Hartmut Ehrig, Robert Kowalski, Giorgio Levi

ISBN 13: 9783540176602

Format: Paperback (312 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later